Verification Patterns for Rapid Embedded System Verification
نویسندگان
چکیده
Test result verification is always a costly task for embedded system testing. This paper presents a systematic process to develop verification patterns and use these patterns to verify test results for state-based real-time/embedded systems. The verification patterns are organized into an object-oriented verification framework so that it can be adaptive to changes rapidly The verification patterns are reusable and thus can save significant time and effort in constructing the test execution infrastructure and generating test scripts. This paper describes a systematic process to perform rapid embedded system verification: 1) abstracts verification patterns based on requirement/scenario patterns analysis; 2) generates test cases/scripts from the verification patterns; 3) develops data acquisition component for raw data retrieval and event assemblers; 4) executes test scripts locally or remotely, and 5) collects and analyzes the test results. This process has been applied to a caralarm system and implantable device applications, which shows the framework developed can perform the verification tasks efficiently.
منابع مشابه
A compact cluster computer with embedded CPUs and its application to rapid prototyping of fingerprint verification system
This paper presents a compact cluster computer, called “UCC (Ubiquitous Computing Cluster)”, which provides a cost-effective prototyping environment for design and test of ubiquitous computing applications. We achieve extremely small size, low power consumption and low cost by employing COTS (Commercial Off-The-Shelf) embedded CPUs. We also present an application of UCC to fingerprint verificat...
متن کاملA Verification Methodology for Programmable and Reconfigurable Processors
An innovative approach for functional verification, embedded in a design and verification environment, will be presented. The approach permits the reuse of test patterns by the combination of a top level test-bench and subordinated module test-benches in a unique manner. It is based on a new Add-on tool, which extends ModelSim/Questa by powerful features to stimulate, compare, and trace of sign...
متن کاملEmbedded Architecture Description Language
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there lacks of sufficient support for architectural specifications across HW/SW boundaries. Such an architectural specification ought to capture both hardware and software components and their interactions, and facilitate effective design exploitation of HW/SW trade-offs and scalable HW/SW co-verification. In this p...
متن کاملDeveloping a Verification and Training Phantom for Gynecological Brachytherapy System
Introduction Dosimetric accuracy is a major issue in the quality assurance (QA) program for treatment planning systems (TPS). An important contribution to this process has been a proper dosimetry method to guarantee the accuracy of delivered dose to the tumor. In brachytherapy (BT) of gynecological (Gyn) cancer it is usual to insert a combination of tandem and ovoid applicators with a complicat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003